翻訳と辞書 Words near each other ・ Non-specific effect of vaccines ・ Non-specific interstitial pneumonia ・ Non-specific polyamine oxidase ・ Non-specific serine/threonine protein kinase ・ Non-specific, adsorptive pinocytosis ・ Non-speech audio input ・ Non-spiking neuron ・ Non-Sport Update ・ Non-Sporting Group ・ Non-sports trading card ・ Non-squeezing theorem ・ Non-standard analysis ・ Non-standard calculus ・ Non-standard cosmology ・ Non-standard model ・ Non-standard model of arithmetic ・ Non-standard poker hand ・ Non-standard positional numeral systems ・ Non-standard RAID levels ・ Non-state (disambiguation) ・ Non-state actor ・ Non-state transfers ・ Non-status Indian ・ Non-stereospecific dipeptidase ・ Non-stick surface ・ Non-stipendiary priest ・ Non-stock corporation ・ Non-stoichiometric compound ・ Non-Stop (Andy Bell album) ・ Non-Stop (B. T. Express album) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Non-standard model of arithmetic ： ウィキペディア英語版 Non-standard model of arithmetic In mathematical logic, a non-standard model of arithmetic is a model of (first-order) Peano arithmetic that contains non-standard numbers. The term standard model of arithmetic refers to the standard natural numbers 0, 1, 2, …. The elements of any model of Peano arithmetic are linearly ordered and possess an initial segment isomorphic to the standard natural numbers. A non-standard model is one that has additional elements outside this initial segment. The construction of such models is due to Thoralf Skolem (1934). == Existence == There are several methods that can be used to prove the existence of non-standard models of arithmetic. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Non-standard model of arithmetic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.